Перевод: со всех языков на все языки

со всех языков на все языки

substitution of a variable

См. также в других словарях:

  • Substitution (Logik) — Als Substitution bezeichnet man in der Logik allgemein die Ersetzung eines Ausdrucks durch einen anderen. Genauer müssen hier vier verschiedene Ausdrücke voneinander unterschieden werden: das Substituendum (lat: „das zu Ersetzende“): der Ausdruck …   Deutsch Wikipedia

  • substitution — [ sypstitysjɔ̃ ] n. f. • 1297; sustitution h. XIIIe; lat. substitutio 1 ♦ Dr. Action de substituer (2o); disposition par laquelle on désigne une personne qui recueillera le don ou le legs au cas où le donataire, le légataire ne le recueillerait… …   Encyclopédie Universelle

  • Variable liée — Variable libre En programmation informatique une variable libre est une variable référencée dans une fonction et qui n est pas une variable locale, ni un paramètre de cette fonction. En mathématiques, et dans d autres disciplines comprenant des… …   Wikipédia en Français

  • Substitution of variables — In mathematics, substitution of variables (also called variable substitution or coordinate transformation) refers to the substitution of certain variables with other variables. Though the study of how variable substitutions affect a certain… …   Wikipedia

  • Substitution uniforme — Instanciation universelle En logique, l instanciation universelle (également appelée Dictum de omni) est une règle d inférence qui permet, à partir d une vérité sur l ensemble des membres d une classe d entités, d inférer une vérité sur une… …   Wikipédia en Français

  • Variable (mathématiques) — Pour les articles homonymes, voir variable. En mathématiques et en logique, une variable est un symbole utilisé pour marquer un rôle dans un prédicat, une formule ou un algorithme. Sommaire 1 Notion intuitive de variable …   Wikipédia en Français

  • Substitution model — A substitution model describes the process from which a sequence of characters of a fixed size from some alphabet changes into another set of traits. For example, in cladistics, each position in the sequence might correspond to a property of a… …   Wikipedia

  • Substitution — For Wikipedia Template Substitution, see Substitution is the replacement of one thing with another. In mathematics: * Substitution rule, in calculus * Variable substitution, in first order logic * The substitution method of solving simultaneous… …   Wikipedia

  • Variable — A variable (pronEng|ˈvɛərɪəbl) is an attribute of a physical or an abstract system which may change its value while it is under observation. Examples include the height of a child, the temperature across a state, or the input to a function. This… …   Wikipedia

  • Variable libre — En mathématiques, et dans d autres disciplines comprenant des langages formels dont la logique mathématique, une variable libre ou variable parlante est une notation qui spécifie à quelles places dans une expression mathématique (en) une… …   Wikipédia en Français

  • Variable range hopping — IntroductionVariable range hopping or Mott variable range hopping, is a model describing low temperature conduction in strongly disordered systems with localized states. [Mott, N.F., Phil. Mag. ,19,835,1969] It has a characteristic temperature… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»